Strategy Synthesis for General Deductive Games Based on SAT Solving

摘要

We propose a general framework for modelling and solving deductive games,where one player selects a secret code and the other player strives to discoverthis code using a minimal number of allowed experiments that reveal somepartial information about the code. The framework is implemented in a softwaretool Cobra, and its functionality is demonstrated by producing new resultsabout existing deductive games.